($\backslash$p.IntInd (get\_int\_arg `hn` p) p)